1. .....................
Author: Jones, Neil D.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Recursive functions,، Turing machines
Classification :
QA
248
.
5
.
J66
2. Computability and complexity: from a programming perspective
Author: Jones, Neil D.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer programming,، Computational complexity
Classification :
QA
76
.
6
.
J6658
1997
3. Computability theory: an introduction
پدیدآورنده : Jones, Neil D.
موضوع : ، Recursive functions,، Turing machines
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Logic, language, and computation : festschrift in honor of Satoru Takasu
Author: Neil D. Jones, Masami Hagiya, Masahiko Sato, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science,، Takasu, Satoru, 1391-
Classification :
QA
76
.
L28
Vol
.
792
5. Programs as Data Objects :
Author: by Harald Ganzinger, Neil D. Jones.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
6. Semantics-directed compiler generation :
Author: ed. by Neil D. Jones.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compiler.,Programmiersprache.,Semantik.
7. Semantics-directed compiler generation : proceedings of a Workshop, Aarhus, Denmark, January 1980
Author: edited by Neil D. Jones
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Compilers )Computer programs(,Congresses ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
94
8. Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January, 1980
Author: edited by Neil D. Jones
Library: Central Library and Documentation Center (Kerman)
Subject: ، Compilers )Computer programs(,، Programming languages )Electronic computers( - Semantics
Classification :
QA
1
.
L4
v
.
94
9. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages
Author: Jones, Neil D.
Library: Central Library and Documentation Center (Kerman)
Subject: ، TEMPO )Computer program language(,، Programming languages )Electronic computers(
Classification :
QA
76
.
L4
v
.
66
10. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages
Author: Jones, Neil D.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، TEMPO )Computer program language(,، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
66
